An Experimentally Efficient Method for (MSS, CoMSS) Partitioning
نویسندگان
چکیده
The concepts of MSS (Maximal Satisfiable Subset) and CoMSS (also called Minimal Correction Subset) play a key role in many A.I. approaches and techniques. In this paper, a novel algorithm for partitioning a Boolean CNF formula into one MSS and the corresponding CoMSS is introduced. Extensive empirical evaluation shows that it is more robust and more efficient on most instances than currently available techniques.
منابع مشابه
An Enhanced MSS-based checkpointing Scheme for Mobile Computing Environment
Mobile computing systems are made up of different components among which Mobile Support Stations (MSSs) play a key role. This paper proposes an efficient MSS-based non-blocking coordinated checkpointing scheme for mobile computing environment. In the scheme suggested nearly all aspects of checkpointing and their related overheads are forwarded to the MSSs and as a result the workload of Mobile ...
متن کاملAn Efficient Algorithm for Output Coding in Pal Based Cplds (TECHNICAL NOTE)
One of the approaches used to partition inputs consists in modifying and limiting the input set using an external transcoder. This method is strictly related to output coding. This paper presents an optimal output coding in PAL-based programmable transcoders. The algorithm can be used to implement circuits in PAL-based CPLDs.
متن کاملAn Efficient Target Tracking Algorithm Based on Particle Filter and Genetic Algorithm
In this paper, we propose an efficient hybrid Particle Filter (PF) algorithm for video tracking by employing a genetic algorithm to solve the sample impoverishment problem. In the presented method, the object to be tracked is selected by a rectangular window inside which a few numbers of particles are scattered. The particles’ weights are calculated based on the similarity between feature vecto...
متن کاملExtraction of Cephalexin Using Aqueous Two-Phase Systems Composed of Cholinium Chloride and K3PO4
Cephalexin is an important antibiotic. It is very significant to determine an appropriate method for the extraction of this valuable antibiotic for industrial applications. Aiming at developing an efficient method for the extraction of cephalexin, the partitioning of cephalexin has been evaluated in aqueous two-phase system, including cholinium chloride and potassium phosphate. The effect of th...
متن کاملDifferent Resource Sharing Policies under a General Channel Management Strategy for Multi-Class Traffic in LEO-MSS
An analytical framework for the efficient evaluation of the performance of complete sharing (CS) and complete partitioning (CP) resource sharing policies under a newly proposed general channel management strategy for multi-class traffic in Low Earth Orbit-Mobile Satellite Systems (LEO-MSS) is presented. This strategy gives a higher priority to handover calls over new calls by combine the guard ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014